Aspect Refinement — Unifying AOP and Stepwise Refinement.
نویسندگان
چکیده
منابع مشابه
Aspect Refinement Ð Unifying AOP and Stepwise Refinement
Stepwise refinement (SWR) is fundamental to software engineering. As aspectoriented programming (AOP) is gaining momentum in software development, aspects should be considered in the light of SWR. In this paper, we elaborate the notion of aspect refinement that unifies AOP and SWR at the architectural level. To reflect this unification to the programming language level, we present an implementa...
متن کاملAspect Refinement
Stepwise refinement (SWR) is fundamental to software engineering. As aspect-oriented programming (AOP) gains momentum in software development, aspects should be subject to SWR as well. In this paper, we introduce the notion of aspect refinement that unifies AOP and SWR. To reflect this unification to programming language level, we present an implementation technique for refining aspects based o...
متن کاملStepwise Refinement of Processes
Industry is looking to create a market in reliable “plug-and-play” components. To model components in a modular style it would be useful to combine event-based and state-based reasoning. One of the first steps in building an event-based model is to decide upon a set of atomic actions. This choice will depend on the formalism used, and may restrict in quite unexpected ways what we are able to fo...
متن کاملStepwise refinement revisited
In this paper, rigorous application of stepwise refinement is explored. The steps of definition, decomposition, and completion are described, where completion is a newly introduced step. This combination of steps extends the use of stepwise refinement to larger systems. The notions of range, active objects, and backlog interface are introduced. Verification of incomplete programs via interactiv...
متن کاملStepwise Refinement and Problem Solving
S tepwise refinement remains a popular approach to program-design implementation, primarily because of its flexibility. As originally proposed by Niklaus Wirth, the technique involves successively decomposing design decisions into target code. With each re6nement step, the designer must + note the interdependence of subproblems, + attempt to preserve the design’s functional correctness, and + d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Object Technology
سال: 2007
ISSN: 1660-1769
DOI: 10.5381/jot.2007.6.9.a1